Recursive computation of limited lookahead supervisory controls for discrete event systems

Recursive computation of limited lookahead supervisory controls for discrete event systems

We continue the study of limited lookahead policies in supervisory control of discrete event systems undertaken in a previous paper. On-line control of discrete event systems using limited lookahead policies requires, after the execution of each event, the calculation of the supremal controllable sublanguage of a given language with respect to another larger language. These two languages are fi...

Partial Observation in Distributed Supervisory Control of Discrete-Event Systems

Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...

Extension based Limited Lookahead Supervision of Discrete Event Systems

Supervisory control of discrete event systems using limited lookahead has been studied by Chung-Lafortune-Lin, where control is computed by truncating the plant behavior up to the limited lookahead window. We present a modification of this approach in which the control is computed by extending the plant behavior by arbitrary traces beyond the limited lookahead window. The proposed supervisor av...

Supervisory Control Of Discrete Event Systems

Supervisory Control of Distributed Discrete-Event Systems

A distributed discrete-event system consists of an interconnection of two or more subsystems. Control of a distributed system demands a set of controllers each receiving the observation stream of a local subsystem and providing a subset of enabled events to that subsystem. Several control architectures are defined in this chapter: Distributed control, distributed control with communication, coo...